Generating Structured Outputs from LLMs
towardsdatascience.com·1d
📐Format Grammars
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·22h
📝Concrete Syntax
All you need to know about Tokenization in LLMs
medium.com·2h·
Discuss: Hacker News
📝Text Parsing
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·1d
🤖Grammar Induction
Microsoft POML – Prompt Orchestration Markup Language
github.com·6h·
Discuss: Hacker News
🎙️Whisper
GPT-5 prompting guide
cookbook.openai.com·7h
⚡Proof Automation
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🦀Rust Macros
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
Part 2: processing the LEGO interface B serial data
hackster.io·4h
⚡Homebrew CPUs
Automated Formal Verification of Blockchain Smart Contracts via Hypergraph Analysis and Constraint Propagation
dev.to·3h·
Discuss: DEV
🌳Archive Merkle Trees
REPL + Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·2d
🔗Functional Compilers
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·20h·
Discuss: r/golang
🧠Lisp Dialects
Computational Music Synthesis
cs.gmu.edu·9h·
Discuss: Hacker News
🎛️Audio Synthesis
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Getting Good Results from Claude Code
dzombak.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Three challenges in machine-based reasoning
amazon.science·4d·
Discuss: Hacker News
🧮Theorem Proving